1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions

رده :
QA
248
.
5
.
H4
1971

2. Enumerability, decidability, computability; an introduction to the theory of recursive functions

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Recursive functions,Algorithms,Godel's theorem,Computable functions

رده :
QA
248
.
5
.
H413